Rosenzweig, equality, and assignment

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Tribute to Dean Rosenzweig

Dean Rosenzweig passed away in the second week of January 2007. I met Dean for the first time 24 years ago, during the winter School Foundation of Computation Theory Profs. Rasiowa, Karpinski and Kirin had organized at the Inter-University Centre for Post-graduate studies in Dubrovnik from 16.1. 29.1.1983. Dean attended my lectures on Complexity of Logical Theories and I noticed him as a partic...

متن کامل

Equality propositional logic and its extensions

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

متن کامل

Aggressive behavior and the Rosenzweig Picture-Frustration (P-F) Study.

The current status of the Rosenzweig Picture-Frustration (P-F) Study, a measure of aggressive verbal behavior in response to frustration at the developmental levels of the child, the adolescent and the adult, is described. Conceived as generically or essentially self-assertive, aggression can be viewed as affirmative or negative, constructive or destructive in effect. Six categories, three unde...

متن کامل

Equality of complexity classes P and NP: Linear programming formulation of the quadratic assignment problem

In this paper, we present a first linear programming formulation of the Quadratic Assignment Problem (QAP). The proposed linear program is a network flow-based model with 0(n9) variables and 0(n7) constraints, where n is the number of assignments. Hence, it provides for the solution of the QAP in polynomial-time and represents therefore, a proof of the equality of the computational complexity c...

متن کامل

Tense like equality algebras

In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: International Mathematical Forum

سال: 2020

ISSN: 1314-7536,1312-7594

DOI: 10.12988/imf.2020.91299